"Lars-Henrik Eriksson" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister

2.69 Mb

#2

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Lars-Henrik Eriksson, Peter A. Lindsay

5.34 Mb